package Runde5;

public class Professor extends Person {
	
	private String institute;
	
	/**
	 * @precondition name/institute must not be empty, name/institute != null
	 * @postcondition creates a new professor with given name
	 */
	public Professor(String name, String institute) {
		super(name);
		this.institute = institute;
	}
	
	/**
	 * @postcondition delivers a readable form of this instance of professor
	 */
	public String toString() {
		return super.toString() + " (" + institute + ")";
	}
}
